$\forall$$P$:Prop, $p$:Dec($P$). \{dec2bool($p$) $\Leftrightarrow$ $P$\}